Limitations of Logical Analysis of CryptographicProtocols
نویسندگان
چکیده
In the past few years a lot of attention has been paid to the use of special logics to analyse cryptographic protocols, foremost among these being the logic of Burrows, Abadi and Needham (the BAN logic). These logics have been successful in nding weaknesses in various examples. In this paper limitations of the BAN logic are illustrated with two examples. Consideration of the attacks leads to a design principle for protocols which overcomes the problems, at least for the examples of this paper.
منابع مشابه
An Analysis of the Verses Indicating the Limitations of the Evil Influences of Modern Man in Creatures, Emphasizing the Viewpoint of Allamah Tabatabai in al-Mizan
In the Holy Qur'an, there are some verses that, in addition to presenting conceptual analyses with logical implications, express the constraints and limitations for evil and destructive influences in creatures, phenomena, and events. From the point of view of Allameh Tabatabai, man’s being social for taking advantage of the others, being influenced by Satan's seductions, and pursuing one’s sens...
متن کاملقلمرو اتونومی بیمار، محدودیتها و راهکارها
Increasing attention to individual liberties in last decades, has led to considering respect to patients autonomy and involvement in making medical decisions as a critical ethical principle. In spite of a general emphasis on the Importance of the mentioned principle, there is a wide controversy about the logical limitations of respect to patients' wishes and preferences in medical decision maki...
متن کاملAnalysis of the Localization of physical expansion in Germi city, using VIKOR
ncompatibility natural environment in the areas of urban development can create various hazards as well as to provide natural, natural bed is capable of In relation to climatic factors and soil, slope, climate and restrictions on the physical development of cities, the (Shia, 1369: 68). That threaten the lives of a lot of financial damage, so that a reduction in development processes and precl...
متن کاملA Novel Drawing Method for Innovative Design of Karbandi Case Study: The Karbandis of Tabriz Historic Bazaar
Karbandi is a common structural and covering pattern for arched surfaces in Persian architecture, which is rooted in the precise methods of descriptive geometry. These methods, due to their strict geometry, do not have much flexibility and have been used only in specific fields in Iranian architecture. Therefore, the questions arise: what are the limitations and requirements of common drawing m...
متن کاملارائه طرح احراز اصالت سبک با قابلیت گمنامی و اعتماد در اینترنت اشیا
The Internet of Things (IoT), is a new concept that its emergence has caused ubiquity of sensors in the human life. All data are collected, processed, and transmitted by these sensors. As the number of sensors increases, the first challenge in establishing a secure connection is authentication between sensors. Anonymity, lightweight, and trust between entities are other main issues that shoul...
متن کامل